Formal Modeling in Political Science
نویسندگان
چکیده
Applications of game theory—and an alternative strategic theory called “theory of moves”—as well as social-choice theory to a wide variety of strategic situations, principally but not exclusively in politics, will be examined. Uses of strategy in voting in committees and elections, in political campaigns, in the defense and deterrence policies of nations, and in bargaining and coalition-building situations will be among the topics discussed. Secrecy and deception as political strategies will also be analyzed.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملRecent Economic Perspectives on Political Economy
In recent years some of the best theoretical work on the political economy of political institutions and processes has begun surfacing outside the political science mainstream in high quality economics journals. This two-part paper surveys these contributions from a recent five-year period. In Part I, the focus is on elections, voting and information aggregation, followed by treatments of parti...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA Comparative Study of Ideational Grammatical Metaphor in Scientific and Political Texts
Language, science and politics go together and learning these genres is to learn a language created for codifying, extending and transmitting scientific and political knowledge. Grammatical metaphor is divided into two broad areas: ideational and interpersonal.This paper focuses on the first type i.e. Ideational Grammatical Metaphor (IGM), which includes process types and nominalization. The m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005